Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id QAA07525
for <willy@odie.barnet.ac.uk>; Sat, 16 May 1998 16:53:45 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id QAA11373
for <willy@bofh.ai>; Sat, 16 May 1998 16:54:47 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:29216 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <2415-14987>; Sat, 16 May 1998 18:53:57 +0300
Received: by vger.rutgers.edu id <973515-32480>; Sat, 16 May 1998 11:26:08 -0400
Received: from post-20.mail.demon.net ([194.217.242.27]:46797 "HELO post.mail.demon.net" ident: "NO-IDENT-SERVICE[2]") by vger.rutgers.edu with SMTP id <973492-32480>; Sat, 16 May 1998 11:21:49 -0400
Received: from treblig.demon.co.uk ([194.222.210.232]) by post.mail.demon.net
id aa2002242; 16 May 98 15:46 GMT
Date: Sat, 16 May 1998 16:41:33 +0100 (BST)
From: Dave Gilbert <gilbertd@treblig.org>
X-Sender: gilbertd@tardis.home.dave
To: Michael Bruck <mbruck@rft.de>
cc: Linux/ARM mailing list <linux-arm@vger.rutgers.edu>